University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
141	The Enriched Effect Calculus: Syntax and Semantics J. M. Egger∗ LFCS, School of Informatics, University of Edinburgh, Scotland, UK. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2012-04-30 06:35:17
142	The Shape Boltzmann Machine: a Strong Model of Object Shape S. M. Ali Eslami School of Informatics University of Edinburgh† Nicolas Heess Add to Reading List Source URL: arkitus.com Language: English - Date: 2016-01-08 16:44:38
143	Secure Execution of Mobile Java using Static Analysis and Proof Carrying Code Robert Atkey () Kenneth MacKenzie () School of Informatics, University of Edinburgh, UK Christopher Paton ( Add to Reading List Source URL: bentnib.org Language: English - Date: 2015-04-09 11:00:25
144	What I’ve learned about annotating informal text (and why you shouldn’t take my word for it) Nathan Schneider School of Informatics University of Edinburgh Edinburgh, Scotland, UK Add to Reading List Source URL: aclweb.org Language: English - Date: 2015-05-31 02:57:11
145	A logic for parametric polymorphism with effects Rasmus Ejlers Møgelberg and Alex Simpson LFCS, School of Informatics, University of Edinburgh Abstract. We present a logic for reasoning about parametric polymorphism in Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-12-18 07:08:12
146	Quasi-Newton Methods for Markov Chain Monte Carlo Yichuan Zhang and Charles Sutton School of Informatics University of Edinburgh , Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-10-28 12:40:17
147	1/31 The Locale of Random Sequences Alex Simpson LFCS, School of Informatics University of Edinburgh, UK Add to Reading List Source URL: theoinf.math.uni-siegen.de Language: English
148	On Pebble Automata for Data Languages with Decidable Emptiness Problem Tony Tan Department of Computer Science, Technion – Israel Institute of Technology School of Informatics, University of Edinburgh ni Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Symbol Automata theory Theoretical computer science Pebble automaton
149	Tregex and Tsurgeon: tools for querying and manipulating tree data structures Roger Levy∗ and Galen Andrew† ∗ School of Informatics University of Edinburgh Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-09-26 00:39:01
150	Taxonomy Induction Using Hierarchical Random Graphs Trevor Fountain and Mirella Lapata Institute for Language, Cognition and Computation School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9 Add to Reading List Source URL: texasexpat.net Language: English - Date: 2012-06-03 13:35:45

UPDATE